Tag: soma de dois números naturais é sempre um número natural